diff --git a/cmd/bootmenu.c b/cmd/bootmenu.c
index 3340be1..e5a10f5 100644
--- a/cmd/bootmenu.c
+++ b/cmd/bootmenu.c
@@ -577,8 +577,8 @@
 		free(command);
 	}
 
-#ifdef CONFIG_POSTBOOTMENU
-	run_command(CONFIG_POSTBOOTMENU, 0);
+#ifdef CFG_POSTBOOTMENU
+	run_command(CFG_POSTBOOTMENU, 0);
 #endif
 
 	if (efi_ret != EFI_SUCCESS || cmd_ret != CMD_RET_SUCCESS)
diff --git a/include/configs/nokia_rx51.h b/include/configs/nokia_rx51.h
index 97d0868..a64b7b3 100644
--- a/include/configs/nokia_rx51.h
+++ b/include/configs/nokia_rx51.h
@@ -128,7 +128,7 @@
 	"bootmenu_delay=30\0" \
 	""
 
-#define CONFIG_POSTBOOTMENU \
+#define CFG_POSTBOOTMENU \
 	"echo;" \
 	"echo Extra commands:;" \
 	"echo run sdboot - Boot from SD card slot.;" \